In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

This article examines a still contentious question: how conservative and liberal elements are combined in Boris N. Chicherin’s worldview and political doctrine. It considers several points of view...

Im Zentrum der Monographie von Claudia Rapp steht die Figur des christlichen Bischofs im Kontext der spätantiken Gesellschaft. Das Buch besteht aus zwei Teilen und einem Epilog. Der erste Teil (S. 1–152) erfüllt eine zweifache Aufgabe: Er bietet (1.) eine Übersicht über die relevante Forschungsliteratur und Positionierung der vorliegenden Arbeit in der Forschungslandschaft und (2.) die Präsentation des von der Verf. entworfenen Erklärungsmodells, das die gesamte Untersuchung konzeptuell bestimmt. Im zweiten Teil (S. 155–289) betrachtet die Verf. die Entwicklung der Rolle (...) des christlichen Bischofs im Kontext spätantiker Städte und Römischen Reiches vom 3. bis zum 6. Jahrhundert anhand von archäologischem, hagiographischem und juristischem Quellenmaterial. Im Epilog (S. 290–302) wird die Figur des Bischofs im Spiegel der Grabinschriften prominenter Amtsträger skizziert. Ein Quellen- und Literaturverzeichnis sowie ein Index beschließen den Band (S. 303–346). (shrink)

Uncertainty can’t be understood without taking into account both properties of the problem situation and agent’s knowledge about it. The correspondence of knowledge and situation of decision-making is crucial for understanding the onto-epistemological nature of uncertainty. At the same time, this correspondence is the key topic in virtue epistemology, especially in its ‘non-classical’, regulatory, branch, related to works of R. Roberts and W.J. Wood. In this article, genetic consultation is chosen as an example of such a problematic situation since a (...) doctor and a patient explicitly deal with the uncertainty of genetic risks. The problems of communication and joint decision-making in the context of medical-genetic consultation are comprehensively described in bioethics. At the same time, its social dimension is limited to the direct interaction of two individual agents, that allows us to use it as a model for constructing the ethics of uncertainty. In this article, four forms of uncertainty are identified: descriptive, normative and radical uncertainties, and translation uncertainty. Referring to the approaches of virtue epistemology, the author brings each of these forms into conformity with the proposed regulatory principle. The regulations assume that generating or disseminating knowledge under conditions of uncertainty require taking into account the incompleteness of the presented model of reality in its four aspects. A modelled fragment of reality could change in a predictable (descriptive uncertainty) or unexpected (radical uncertainty) way. The goals and values of a model’s user can not be hierarchically ordered, and may also change in the future (normative uncertainty). User’s interpretations of the model may be diverse, and can never be strictly defined by the intentions of the model’s author (indeterminancy of translation, or uncertainty whether success of co-reference is achieved). (shrink)

In this paper, we provide a semantic analysis of the well-known knowability paradox stemming from the Church–Fitch observation that the meaningful knowability principle /all truths are knowable/, when expressed as a bi-modal principle F --> K♢F, yields an unacceptable omniscience property /all truths are known/. We offer an alternative semantic proof of this fact independent of the Church–Fitch argument. This shows that the knowability paradox is not intrinsically related to the Church–Fitch proof, nor to the Moore sentence upon which it (...) relies, but rather to the knowability principle itself. Further, we show that, from a verifiability perspective, the knowability principle fails in the classical logic setting because it is missing the explicit incorporation of a hidden assumption of /stability/: ‘the proposition in question does not change from true to false in the process of discovery.’ Once stability is taken into account, the resulting /stable knowability principle/ and its nuanced versions more accurately represent verification-based knowability and do not yield omniscience. (shrink)

Tracing how the logic of inoperativity works in the domains of language, law, history and humanity, 'Agamben and Politics' systematically introduces the fundamental concepts of Agamben's political thought and a critically interprets his insights in the wider context of contemporary philosophy.

In a rather general setting, we prove a number of basic theorems concerning computational complexity of derivability in adaptive logics. For that setting, the so-called standard format of adaptive logics is suitably adopted, and the corresponding completeness results are established in a very uniform way.

We outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view coreflectionA→KAis valid and the factivity of knowledge holds in the formKA→ ¬¬A‘known propositions cannot be false’.We show that the traditional form of factivityKA→Ais a distinctly classical principle which, liketertium non datur A∨ ¬A, does not hold intuitionistically, but, along with the whole of (...) classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA¬A).Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it. (shrink)

Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics for independence-friendly first-order logic, but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump (...) semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas. (shrink)

The paper aims to present a critical analysis of the phenomenon and notion of exceptionalism in bioethics. The authors demonstrate that exceptionalism pertains to phenomena that are not (yet) entirely familiar to us and could potentially bear risks regarding their regulation. After an overview of the state of the art, we briefly describe the origins and evolution of the concept, compared to exception and exclusion. In the second step, they look at the overall development debates on genetic exceptionalism, compared to (...) other bioethical debates on exceptionalism, before presenting a detailed analysis of a specific case of early regulation of genetic screening. In the last part, the authors explain the historical background behind the connection between exceptionalism and exclusion in these debates. Their main conclusion is that while the initial stage of the discussion is shaped by the concept of exceptionalism and awareness of risks of exclusion, the later development centers around exceptions that are needed in detailed regulatory procedures. (shrink)

This paper argues that unusual coincidences, particularly those involving historical events, can be viewed as design patterns, suggesting an intelligent influence over the course of events. A compelling case examined in detail using probability theory concerns the presidencies of Abraham Lincoln (1809–1865) and John F. Kennedy (1917–1963). This and other coincidences involving historical figures disfavor the materialistic perspective and point to the presence of an intelligent agent acting on a global scale, beyond the arrow of time, influencing human lives and (...) the course of history. (shrink)

The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete axiomatization for the basic logic of proofs in Heyting Arithmetic HA was found.

We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...) class of all involutive Routley star information frames. This result provides a much simplified semantics for HYPE and also a simplified axiomatization, which shows that HYPE is identical with the modal symmetric propositional calculus introduced by G. Moisil in 1942. Moreover, it is shown that HYPE can be faithfully embedded into a normal bi-modal logic based on classical logic. Against this background, we discuss the notion of hyperintensionality. (shrink)

The word “encyclopedia” comes to us from the Greek or, more precisely, is the deformed transcription, through Latin, of a erase in which we recognize a word composed of two elements, enkyklios and paideia, found in Quintilian in the ancient editions of De institutione oratoria (I, 10, 1). The expression itself, enkyklios paideia, appears only later, in the Hellenistic Age, under Roman domination, beginning with Dionysius of Halicarnassus (around the first century B.C.), but the concept goes back to the Eleatics, (...) especially to Hippias of Elis who, if we can believe the account in Plato's Dialogues, taught this total knowledge, later known with the term enkyklopaideia. (shrink)

Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem. The problem stems from the clash between the desire to model rational agents, which should be capable of simple logical inferences, and the fact that any logical inference, however complex, almost inevitably consists of inference steps that are simple enough. This contradiction points to the fruitlessness of trying to solve the Logical Omniscience Problem qualitatively if the rationality of agents is to be maintained. We provide a (...) quantitative solution to the problem compatible with the two important facets of the reasoning agent: rationality and resource boundedness. More precisely, we provide a test for the logical omniscience problem in a given formal theory of knowledge. The quantitative measures we use are inspired by the complexity theory. We illustrate our framework with a number of examples ranging from the traditional implicit representation of knowledge in modal logic to the language of justification logic, which is capable of spelling out the internal inference process. We use these examples to divide representations of knowledge into logically omniscient and not logically omniscient, thus trying to determine how much information about the reasoning process needs to be present in a theory to avoid logical omniscience. (shrink)

The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...) a tableau calculus is defined for the modal bilattice logic MBL introduced and investigated by A. Jung, U. Rivieccio, and R. Jansana. MBL is a generalization of BK that in its Kripke semantics makes use of a four-valued accessibility relation. It is shown that MBL can be faithfully embedded into the bimodal logic \ over the non-modal vocabulary of MBL. On the way from \ to MBL, the Fischer Servi-style modal logic \ is defined as the set of all modal formulas valid under a modified standard translation into first-order FDE, and \ is shown to be characterized by the class of all models for \. Moreover, \ is axiomatized and this axiom system is proved to be strongly sound and complete with respect to the class of models for \. Moreover, the notion of definitional equivalence is suitably weakened, so as to show that \ and \ are weakly definitionally equivalent. (shrink)

ABSTRACT In 1933 Gödel introduced an axiomatic system, currently known as S4, for a logic of an absolute provability, i.e. not depending on the formalism chosen ([God 33]). The problem of finding a fair provability model for S4 was left open. The famous formal provability predicate which first appeared in the Gödel Incompleteness Theorem does not do this job: the logic of formal provability is not compatible with S4. As was discovered in [Art 95], this defect of the formal provability (...) predicate can be bypassed by replacing hidden quantifiers over proofs by proof polynomials in a certain finite basis. The resulting Logic of Proofs enjoys a natural arithmetical semantics and provides an intended provability model for S4, thus answering a question left open by Gödel in 1933. Proof polynomials give an intended semantics for some other constructions based on the concept of provability, including intuitionistic logic with its Brouwer- Heyting- Kolmogorov interpretation, ?-calculus and modal ?-calculus. In the current paper we demonstrate how the intuitionistic propositional logic Int can be directly realized by proof polynomials. It is shown, that Int is complete with respect to this proof realizability. (shrink)

The article analyzes the philosophical concept of the “porous self” of J. Rivera. The originality of this concept in the post-phenomenological project is determined by the role of theological constructions that modify the primal experience of self-consciousness. This modification allows us to interpret the phenomenological description of the human self as different from the classical — “porous” temporality, i.e., correlating through “two entrances”—the internal and external—with eternity. Within this approach, the primary phenomenon of the constitution of the "porous" self becomes (...) the inner word, which in the appeal to eternity turns out to be the original self-awareness of the self as a temporality. The secondary phenomenon of the constitution of the “porous” self is not the mundane temporality of M. Heidegger, but Epektasis as an intense striving towards the end of time in General. The worldly temporality of the self, transformed by faith, is phenomenologically revealed as open to eternity in each of its moments. The third phenomenon of the temporality of the self is Memoria, whose interpretation reveals how the structure of the inner consciousness of time by E. Husserl can be framed ontologically and harmoniously integrated into the theological concept. The article shows how, based on this understanding of both the internal and external openness of the “porous” self for eternity, the integral structure of its temporality is formed. The temporality of the porous self is a modification of Husserl’s time diagrams and the intertwining of two streams of temporality at the same time from past to future and from future to past, which itself constitutes a phenomenal field of events of self. This understanding of temporality sets new perspectives for the phenomenological analysis of subjectivity. (shrink)

N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. (...) Finally, subdirectly irreducible N4-lattices are described. (shrink)

'Ontological Semantics' introduces a comprehensive approach to the treatment of text meaning by computer, arguing that being able to use meaning is crucial to the success of natural language processing applications.

We define a realizability interpretation of Aczel's Constructive Set Theory CZF into Explicit Mathematics. The final results are that CZF extended by Mahlo principles is realizable in corresponding extensions of T 0 , thus providing relative lower bounds for the proof-theoretic strength of the latter.

This work treats the problem of axiomatizing the truth and falsity consequence relations, ⊨ t and ⊨ f, determined via truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, 2005). The approach is based on a representation of SIXTEEN 3 as a twist-structure over the two-element Boolean algebra.

While Foucault’s work on biopolitics continues to inspire diverse studies in a variety of disciplines, it has largely been missing from the debates on the possibility of “affirmative biopolitics” which have been primarily influenced by the work of Agamben and Esposito. This article restores Foucault’s work to these debates, proposing that his final lecture course at the Collège de France in 1983–1984 developed a paradigm of affirmative biopolitics in the reading of the Cynic practice of truth-telling ( parrhesia). The Cynic (...) problematization of the relation between truth and life and their transvaluation of conventional truths by relocating them to the domain of bare life not only seeks to transform one’s life in accordance with the truth but also, through the confrontation with the existing conventions and norms, to transform the world as such. Cynic parrhesia is thus biopolitical, insofar as it reclaims the power of one’s life from the social order and its rationalities of government and applies it to oneself, investing one’s existence with truth. Since Foucault developed this reading of Cynicism in the context of his political engagement on behalf on East European dissidents, the article proceeds to analyse the resonances between parrhesia and Václav Havel’s idea of “living within the truth,” elaborating the biopolitical significance of both practices. We conclude by addressing the implications of our interpretation for Foucault scholarship and the wider debates on biopolitics. (shrink)

The publication of The Use of Bodies, the final volume in Giorgio Agamben’s Homo Sacer series, makes it possible to take stock of Agamben’s project as a whole. Having started with a powerful critique of the biopolitical sovereignty as the essence of modern politics, Agamben concludes his project with an affirmative vision of inoperative politics of form-of-life, in which life is not negated or sacrificed to the privileged form it must attain, but rather remains inseparable from the form that does (...) nothing but express it. The article begins by reconstituting the non-relational logic that Agamben develops in order to render inoperative the existing apparatuses of ontology, ethics and politics. We then address the dimension of lifestyle as a new key domain of Agamben’s work, in which biopolitics may be recast in an affirmative key of form-of-life. While Agamben is better known for sceptical and scornful statements about contemporary liberal democracies, we shall argue that his affirmative biopolitics, characterized by destituent power, resonates with Claude Lefort’s understanding of democracy as structured around the ontological void and epistemic indeterminacy. In the conclusion we question the viability of this biopolitical democracy, focusing on Agamben’s example of the Nocturnal Council in Plato’s Laws. (shrink)

The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.

Byzantine intellectuals not only had direct access to Neoplatonic sources in the original language but also, at times, showed a particular interest in them. During the Early Byzantine period Platonism significantly contributed to the development of Christian doctrines and, paradoxically, remained a rival world view that was perceived by many Christian thinkers as a serious threat to their own intellectual identity. This problematic relationship was to become even more complex during the following centuries. Byzantine authors made numerous attempts to harmonize (...) Neoplatonic doctrines with Christianity as well as to criticize, refute and even condemn them. The papers assembled in this volume discuss a number of specific questions and concerns that drew the interest of Byzantine scholars in different periods towards Neoplatonic sources in an attempt to identify and explore the central issues in the reception of Neoplatonic texts during the Byzantine era. This is the first volume of the sub-series "Byzantinisches Archiv - Series Philosophica", which will be dedicated to the rapidly growing field of research in Byzantine philosophical texts. (shrink)

We describe our explicit Lorentz-invariant solution of the Einstein and null geodesic equations for the deflection experiment of 2002 September 8 when a massive moving body, Jupiter, passed within 3.7’ of a line-of-sight to a distant quasar. We develop a general relativistic framework which shows that our measurement of the retarded position of a moving light-ray deflecting body (Jupiter) by making use of the gravitational time delay of quasar’s radio wave is equivalent to comparison of the relativistic laws of the (...) Lorentz transformation for gravity and light. Because, according to Einstein, the Lorentz transformation of gravity field variables must depend on a fundamental speed c, its measurement through the retarded position of Jupiter in the gravitational time delay allows us to study the causal nature of gravity and to set an upper limit on the speed of propagation of gravity in the near zone of the solar system as contrasted to the speed of the radio waves. In particular, the v/c term beyond of the standard Einstein’s deflection, which we measured to 20% accuracy, is associated with the aberration of the null direction of the gravity force (“aberration of gravity”) caused by the Lorentz transformation of the Christoffel symbols from the static frame of Jupiter to the moving frame of observer. General relativistic formulation of the experiment identifies the aberration of gravity with the retardation of gravity because the speed of gravitational waves in Einstein’s theory is equal to the speed of propagation of the gravity force. We discuss the misconceptions which have inhibited the acceptance of this interpretation of the experiment. We also comment on other interpretations of this experiment by Asada, Will, Samuel, Pascual–Sánchez, and Carlip and show that their “speed of light” interpretations confuse the Lorentz transformation for gravity with that for light, and the fundamental speed of gravity with the physical speed of light from the quasar. For this reason, the “speed of light” interpretations are not entirely consistent with a retarded Liénard–Wiechert solution of the Einstein equations, and do not properly incorporate how the phase of the radio waves from the quasar is perturbed by the retarded gravitational field of Jupiter. Although all of the formulations predict the same deflection to the order of v/c, our formulation shows that the underlying cause of this deflection term is associated with the aberration of gravity and not of light, and that the interpretations predict different deflections at higher orders of v/c beyond the Shapiro delay, thus, making their measurement highly desirable for deeper testing of general relativity in future astrometric experiments like Gaia, SIM, and SKA. (shrink)

Die Glosse Suda ε 1756 wird in der Forschung mit der von Damaskios von Damaskos verfaßten Vita des Philosophen Isidoros in Verbindung gebracht. Tatsächlich aber steht sie in engerem Zusammenhang mit der aus dem Werk des Johannes Antiocheus entnommenen Glosse Suda β 246 und ist daher aus dem Corpus des Damaskios zu streichen und Ioannes Antiocheus zuzuschreiben.